Characterizations of extreme normalized circulations satisfying linear constraints
نویسندگان
چکیده
منابع مشابه
Characterizations of linear suboptimality for mathematical programs with equilibrium constraints
The paper is devoted to the study of a new notion of linear suboptimality in constrained mathematical programming. This concept is different from conventional notions of solutions to optimization-related problems, while seems to be natural and significant from the viewpoint of modern variational analysis and applications. In contrast to standard notions, it admits complete characterizations via...
متن کاملHierarchical Segmentation Satisfying Constraints
A new hierarchical segmentation algorithm is described. Its computational complexity and memory requirements are detailed, showing it to be practicably applicable to images of useful size. A simple modification of the algorithm adapts it to produce hierarchical segmentations that satisfy a constraint set. Results are given showing that this adapted algorithm can be used as the basis of a semi-a...
متن کاملSatisfying KBO Constraints
This paper presents two new approaches to prove termination of rewrite systems with the Knuth-Bendix order efficiently. The constraints for the weight function and for the precedence are encoded in (pseudo-)propositional logic and the resulting formula is tested for satisfiability. Any satisfying assignment represents a weight function and a precedence such that the induced Knuth-Bendix order o...
متن کاملSatisfying Interaction Constraints
In feature modelling, constraints can be used to store design intent in a model. Interaction constraints are an important type of constraints, which limit the extent to which features may interact. This paper describes a solver for constraints on interactions that involve spatial overlap between feature shapes. It is based on sampling of the parameter space of the feature model. A Monte Carlo t...
متن کاملA Linear Programming Approach to the Development of Contrail Reduction Strategies Satisfying Operationally Feasible Constraints
Nomenclature T temperature in Celsius RHw relative humidity with respect to water RHi relative humidity with respect to ice l cruising altitude level index Rl t potential persistent contrail formation matrix (contrail matrix) at time t at level l At aircraft position matrix at time t at level l CFI center contrail frequency index lfe level changing constraint b1(l) the number of aircraft which ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linear Algebra and its Applications
سال: 1982
ISSN: 0024-3795
DOI: 10.1016/0024-3795(82)90026-x